package Rational_Numbers is
            
  
  type Rational is private;
  Not_a_Rational : Exception;

  -- to construct a rational number
  function "/" (X, Y : Integer) return Rational; 

private
  
  type Rational is record 
    Numerator : Integer;
    Denominator : Positive;
  end record;

end Rational_Numbers;
